Annotation of Component Specifications with Modular Analysis Models for Safety Properties
نویسنده
چکیده
The application of component based software engineering techniques in safety critical technical systems has increased due to economic reasons. This leads to the problem how to analyze the safety properties, because the failure types and their probabilities of especially COTS-components are potentially unknown. We propose to annotate components with encapsulated fault trees and basic failure probabilities. Based on this information and the structure specification an automated safety analysis is possible.
منابع مشابه
ProMoVer: A Tool for Modular Verification of Temporal Safety Properties
I will talk about ProMoVer, a tool for fully automated procedure-modular verification of Java programs equipped with method-local and global assertions that specify safety properties of sequences of method invocations. Modularity at the procedure-level is a natural instantiation of the modular verification paradigm, where correctness of global properties is relativized on the local properties o...
متن کاملScalable Modular Checking of System-Specific Properties: Myth or Reality?
Annotation-based modular checkers have the potential to perform scalable checking of system-specific properties. However, such tools have seldom been deployed on large software applications of industrial relevance. We present a case study of applying a modular checker HAVOC to check properties about the synchronization protocol of a core Microsoft Windows component with more than 300,000 lines ...
متن کاملMagnitude of vibration triggering component determines safety of structures
Transmission of blast waves is a complex phenomenon and the characteristics vary with blast design parameters and geo-technical properties of medium. Frequency of vibration and triggering component for structural excitation generally quantifies safe vibration magnitude. At closer distance or higher elevations than the blast locations, vertical or transverse component will be the first arrival t...
متن کاملA Framework for the Hazard Analysis of Chemical Plants ’
Transposing the notion of software frameworks to the abstraction level of formal specifications and verifications, we developed a framework supporting the formal hazard analysis of chemical plants. It provides generic specification modules for the description of safety properties, specification modules for the description of plant models, and theorems stating that certain subsystem structures o...
متن کاملThe CellML Metadata Framework 2.0 Specification
The CellML Metadata Framework 2.0 is a modular framework that describes how semantic annotations should be made about mathematical models encoded in the CellML (www.cellml.org) format, and their elements. In addition to the Core specification, there are several satellite specifications, each designed to cater for model annotation in a different context. Basic Model Information, Citation, Licens...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003